SELF-REFERENTIAL THEORIES

An ordinal analysis for theories of self-referential truth

The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard [11]. There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets...

Transformations between Self-Referential Sets

Self-Referential Definition of Orthogonality

There has for longer been an interest in finding equivalent conditions which define inner product spaces, and the respective literature is considerable, see for instance Amir, which lists 350 such results. Here, in this tradition, an alternative definition of orthogonality is presented which does not make use of any inner product. This definition, in the spirit of the recently developed non-wel...

Differential electrophysiological response during rest, self-referential, and non-self-referential tasks in human posteromedial cortex.

The electrophysiological basis for higher brain activity during rest and internally directed cognition within the human default mode network (DMN) remains largely unknown. Here we use intracranial recordings in the human posteromedial cortex (PMC), a core node within the DMN, during conditions of cued rest, autobiographical judgments, and arithmetic processing. We found a heterogeneous profile ...

Completely Self-referential Optimal Reinforcement Learners

We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimal reinforcement learning systems. Such a system rewrites any part of its own code as soon as it has found a proof that the rewrite is useful, where the problemdependent utility function and the hardware and the entire initial code are described by axioms encoded in an initial proof sear...